Recovering from Modeling Faults in GOLOG
نویسنده
چکیده
In this paper we study the problem of detection, classiication and recovery from discrepancies due to faulty modeling of controlled systems. We do this by extending the existing Execution Monitoring mechanism for the high-level robot programming language GOLOG De Giacomo et al., 1998] by introducing a revision technique that transforms the faulty underlying situation calculus theory to a theory that reeects the controlled system more adequately.
منابع مشابه
Execution Monitoring of High - Level
Imagine a robot that is executing a program on-line, and, insofar as it is reasonable to do so, it wishes to continue with this on-line program execution, no matter what exogenous events occur in the world. Execution monitoring is the robot's process of observing the world for discrepancies between the actual world and its internal representation of it, and recovering from such discrepancies. W...
متن کامل3D stochastic rock fracture modeling related to strike-slip faults
Fault zones and fault-related fracture systems control the mechanical behaviors and fluid-flow properties of the Earth’s crust. Furthermore, nowadays, modeling is being increasingly used in order to understand the behavior of rock masses, and to determine their characteristics. In this work, fault zones and fracture patterns are reviewed, and also comprehensive studies are carried out on the fr...
متن کاملOn the Decidability of Verifying LTL Properties of GOLOG Programs∗
The high-level action programming language GOLOG is a useful means for modeling the behavior of autonomous agents such as mobile robots. It relies on a representation given in terms of a logic-based action theory in the Situation Calculus (SC). To guarantee that the possibly non-terminating execution of a GOLOG program leads to the desired behavior of the agent, it is desirable to (automaticall...
متن کاملمدلسازی و شبیه سازی خطاهای سیم بندی استاتور موتور القایی قفس سنجابی با استفاده از روش مدار معادل مغناطیسی
Induction Motor especially the squirrel cage type of this motor plays important role in industry. According to the application type, this motor place against various stresses that are caused failure in the motor. The most common failure is related to the Stator winding. Among these failures are turn-to-turn, coil-to-coil and phase to phase faults. Flow the high current do to the induction resul...
متن کاملAging Wire Fault Diagnosis Using Faster, Higher-Precision Methods
This paper presents novel implementation of forward and inverse methods for locating faults in the shields of coaxial cable and other shielded lines. In accomplishing these tasks, direct and probabilistic inversion methods are used to estimate fault and wire parameters. Some numerical finite-difference techniques are capable of modeling the characteristic impedance of a chafe one frequency at a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001